An Analysis of Quantifier Scope Restrictions in Dependence Logic
نویسندگان
چکیده
In our contribution we will present a strictly semantic approach to scope phenomena which is based on (Dynamic) Dependence Logic (DL) [Vää07, Gal13] and ideas from Dynamic Semantics [Fer93]. Formulas as well as quantifiers are interpreted as relations between sets of assignments. Scopal ambiguities are analyzed as a form of non-determinism: processing a formula in an input context X can lead to different output contexts Y . These outputs are constraint by imposing dependence relations on Y .
منابع مشابه
A Deductive Account of Quantification in LFG
The relationship between Lexical-Functional Grammar (LFG) functional structures (f-structures) for sentences and their semantic interpretations can be expressed directly in a fragment of linear logic in a way that explains correctly the constrained interactions between quantifier scope ambiguity and bound anaphora. The use of a deductive framework to account for the compositional properties of ...
متن کاملTowards feasibility in arithmetic via linear logic
In this work-in-progress we intend to extend the scope of linear logic to first-order theories, i.e. with nonlogical axioms and inference rules, in particular for fragments of arithmetic. The aim is to use the restrictions on contraction in substructural logics to model resource usage in an interpretation of first-order proofs, e.g. via realisability/Dialectica interpretations or via proof-theo...
متن کاملQuantifier Scope Disambiguation Using Extracted Pragmatic Knowledge: Preliminary Results
It is well known that pragmatic knowledge is useful and necessary in many difficult language processing tasks, but because this knowledge is difficult to acquire and process automatically, it is rarely used. We present an open information extraction technique for automatically extracting a particular kind of pragmatic knowledge from text, and we show how to integrate the knowledge into a Markov...
متن کاملStructured Anaphora to Quantifier Domains A Unified Account of Quantificational and Modal Subordination and Exceptional Wide Scope
The paper proposes a novel analysis of quantificational subordination, e.g. Harvey courts a woman at every convention. {She is very pretty. vs. She always comes to the banquet with him.} (Karttunen 1976), in particular of the fact that the indefinite in the initial sentence can have wide or narrow scope, but the first discourse as a whole allows only for the wide scope reading, while the second...
متن کاملPartial Proof Trees, Hybrid Logic, and Quantifier Scope
We argue that a fundamental theoretical difference between the resourcelogical and Minimalist frameworks is the computation of a semantic representation that can capture quantifier scope ambiguity. We discuss an approach to handling such data within the context of a system of categorial inference based on the use of hybrid logic to impose two different levels of composition, and suggest that th...
متن کامل